Computing Presuppositions and Implicatures in Mathematical Discourse
نویسنده
چکیده
In any well-written mathematical discourse a certain amount of mathematical and meta-mathematical knowledge is presupposed and implied. We give an account on presuppositions and implicatures in mathematical discourse and describe an architecture that allows to effectively interpret them. Our approach heavily relies on proof methods that capture common patterns of argumentation in mathematical discourse. This pragmatic information provides a high-level strategic discourse understanding and allows to compute the presupposed and implied information.
منابع مشابه
The Dynamics of Sense and Implicature
This thesis is a both a descriptive and theoretical examination of implicatures, parts of the contextual meanings of utterances that are separate from their sense, their main point. The empirical taxonomy I describe draws on the work of Grice (1975), but fleshes out two important subcategories of implicature that he did not discuss in detail. One of these subcategories is the conventional impli...
متن کاملA Uniform Treatment of Pragmatic Inferences in Simple and Complex Utterances and Sequences of Utterances
Drawing appropriate defeasible inferences has been proven to be one of the most pervasive puzzles of natural language processing and a recurrent problem in pragmatics. This paper provides a theoretical framework, called stratified logic, that can accommodate defeasible pragmatic inferences. The framework yields an algorithm that computes the conversational, conventional, scalar, clausal, and no...
متن کاملHow and Why Conventional Implicatures Project
It is well-known that a single utterance may convey different types of information, for example new and old information. It is not always clear, however, how these types of content relate to each other. One way to pursue a unified semantic analysis would be to see how different types of content that exhibit the same semantic property relate to each other. Of particular interest in this context ...
متن کاملThe Presuppositions of Soft Triggers are Obligatory Scalar Implicatures
Presupposition triggers can be divided in two groups, ‘soft’ and ‘hard,’ based on whether the presuppositions they give rise to are easily defeasible and whether they project uniformly in quantificational sentences (Abusch 2002, 2010, Charlow 2009). Recently, two ideas have been put forward in the literature in connection to this problem. First, soft triggers should be thought of as non-presupp...
متن کاملPresuppositions and Pedigrees for Discourse Markers
In this paper I defend the claim that certain discourse markers (DMs) are presupposition triggers. In itself, this claim is not new but its exact content and consequences are rarely analyzed in detail. However, such an analysis is required for at least three reasons, which correspond to the three main contributions of the paper. (1) The claim that DMs are presuppositional contrasts with two oth...
متن کامل